package expression.integer;

import choco.integer.IntExp;
import core.Universe;
import expression.Expression;

public abstract class IntExpr extends Expression {

	public IntExpr(Universe u) {
		super(u);
	}

	public abstract IntExp intExp();
}
